minus[n] ket subtract n from the value in the ket, leaving the coefficient unchanged if the ket is not a number, then return the empty ket |>
minus[2] |3.1415> |1.1415>